منابع مشابه
Modified augmented Lagrangian preconditioners for the incompressible NavierStokes equations
We study different variants of the augmented Lagrangian (AL)-based block-triangular preconditioner introduced by the first two authors in [SIAM J. Sci. Comput. 2006; 28: 2095–2113]. The preconditioners are used to accelerate the convergence of the Generalized Minimal Residual method (GMRES) applied to various finite element and Marker-and-Cell discretizations of the Oseen problem in two and thr...
متن کاملLattice Boltzmann Model for the Incompressible NavierStokes Equation
In the last decade or so, the lattice Boltzmann (LB) method has emerged as a new and effective numerical technique of computational fluid dynamics (CFD).(1-5) Modeling of the incompressible Navier-Stokes equation is among many of its wide applications. Indeed, the lattice Boltzmann equation (LBE) was first proposed to simulate the incompressible NavierStokes equations.(1) The incompressible Nav...
متن کاملSolver Device for Powdery Drugs
Pharmacotherapy is a major treatment method in healthcare centers, and the injection of powdered drugs is among common pharmacotherapy techniques. Medication errors and nosocomial infections are among major health issues in the world. On the other hand, powdered drugs are widely used in hospitals; however, drug mixture is a very time-consuming process. The objective of this invention was to acc...
متن کاملA study on the global regularity for a model of the 3D axisymmetric NavierStokes equations
We investigates the global regularity issue concerning a model equation proposed by Hou and Lei [3] to understand the stabilizing effects of the nonlinear terms in the 3D axisymmetric Navier-Stokes and Euler equations. Two major results are obtained. The first one establishes the global regularity of a generalized version of their model with a fractional Laplacian when the fractional power sati...
متن کاملThe YICES SMT Solver
SMT stands for Satisfiability Modulo Theories. An SMT solver decides the satisfiability of propositionally complex formulas in theories such as arithmetic and uninterpreted functions with equality. SMT solving has numerous applications in automated theorem proving, in hardware and software verification, and in scheduling and planning problems. This paper describes Yices, an efficient SMT solver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SoftwareX
سال: 2017
ISSN: 2352-7110
DOI: 10.1016/j.softx.2017.05.003